Turing machine - PDFSEARCH.IO - Document Search Engine

Turing machine
Results: 564

#	Item
231	Iasonas Petras Contact Information Department of Computer Science Princeton University Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2014-03-31 17:04:53 Computational complexity theory Quantum cryptography Models of computation Joseph F. Traub Quantum computer Information-based complexity Quantum algorithm Quantum complexity theory Quantum Turing machine Theoretical computer science Applied mathematics Quantum information science
232	Epistemological Observations about Mind-Machine Equivalence Add to Reading List Source URL: cogprints.org Language: English - Date: 2009-12-08 16:03:18 Alan Turing Philosophy of artificial intelligence Computability theory Philosophy of mind Theory of computation Computing Machinery and Intelligence Turing test Computability Consciousness Science Cognitive science Artificial intelligence
233	A physical analysis of mechanical computability Steven Lindell Department of Computer Science Haverford College 25 May 2006 Add to Reading List Source URL: www-old.newton.ac.uk Language: English - Date: 2013-04-15 10:25:44 Theory of computation Computability theory Turing machine Models of computation Alan Turing Algorithm Computability Computational complexity theory Computer Theoretical computer science Computer science Applied mathematics
234	Lecture XXX Page 1 “The field of mechanical theorem proving badly needs a basis for comparing and evaluating the dozens of procedures which appear in the literature. Performance of a Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2013-11-21 18:33:24 Complexity classes P Time complexity Algorithm Reduction Turing machine EXPTIME Computability L Theoretical computer science Computational complexity theory Applied mathematics
235	OM,POWER RAKE/SEEDER, [removed], [removed], 680, 681 Add to Reading List Source URL: bensrentalandsales.com Language: English - Date: 2011-03-10 17:19:38 Textile machinery Universal Turing machine Lawn mower Technology Sewing Sewing machine
236	Computation in Cellular Automata: A Selected Review Melanie Mitchell Santa Fe Institute 1399 Hyde Park Road Santa Fe, NM 87501 Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2008-04-08 11:57:17 Theoretical computer science Cellular automaton Von Neumann neighborhood Automata theory Turing machine Moore neighborhood Glider Reversible cellular automaton Von Neumann cellular automaton Cellular automata Theory of computation Mathematics
237	Asia Pacific Mathematics Newsletter January[removed]Volume 2 Number 1 Add to Reading List Source URL: www.austms.org.au Language: English - Date: 2012-07-31 22:40:14 Mathematics Computability theory Turing machine Alan Turing Halting problem Hypercomputation Interactive computation Computability Computable number Theory of computation Theoretical computer science Computer science
238	P systems and unique-sum sets Pierluigi Frisco School of Math. and Comp. Sciences, Heriot-Watt University, EH14 4AS Edinburgh, UK, [removed] Add to Reading List Source URL: cmc11.uni-jena.de Language: English - Date: 2010-09-02 10:49:18 Computer science Theoretical computer science Multiset Random access machine Petri net Turing machine Models of computation Mathematics Theory of computation
239	Part IV Access Control Confidentiality and integrity are often enforced using a form of authorization known as access control, which involves the following assumptions. • Predefined operations are the sole means by whi Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-10 22:02:07 Mathematics Turing machine Models of computation Theory of computation Alan Turing Principle of least privilege Operating system Halting problem Theoretical computer science Computability theory Computer science
240	OVERLOAD CONTENTS OVERLOAD 117 October 2013 Add to Reading List Source URL: www.accu.org Language: English - Date: 2013-10-09 08:38:21 Software architecture Theoretical computer science Turing machine Formal methods Cohesion Coupling Algorithm Source lines of code Alan Turing Software engineering Software metrics Computing

UPDATE